From: Stéphane Glondu <glondu@debian.org>
Date: Thu, 25 Nov 2021 14:37:06 +0000 (+0000)
Subject: Merge branch 'lintian-fixes' into 'debian/sid'
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1^2~14
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/%22mailto:sonu.itbhu%40googlemail.com//%22mailto:i18n-csb%40linuxcsb.org/%22/%22http:/www.example.com/%22mailto:sonu.itbhu%40googlemail.com/%22mailto:i18n-csb%40linuxcsb.org/%22?a=commitdiff_plain;h=eec08a94091f6ea310ae5df27d8520f5346c643c;p=ocaml.git

Merge branch 'lintian-fixes' into 'debian/sid'

Fix some issues reported by lintian

See merge request ocaml-team/ocaml!2
---

eec08a94091f6ea310ae5df27d8520f5346c643c